Known vulnerabilities in Debian coq-theories (Debian package) 8.12.0-3+b3

8.12.0-3+b3 8.12.0-3+b2 8.12.0-3+b1 8.12.0-3 8.12.0-2 8.12.0-1 8.2~rc2+dfsg-1 8.2~rc2+dfsg-2 8.2~rc2+dfsg-3 8.2-1+dfsg-1 8.2-1+dfsg-2 8.2.pl1+dfsg-1 8.2.pl1+dfsg-2 8.2.pl1+dfsg-3 8.2.pl1+dfsg-4 8.2.pl1+dfsg-5 8.2.pl1+dfsg-6 8.2.pl2+dfsg-1 8.2.pl2+dfsg-2 8.3~beta0+13298-1 8.3~beta0+13323-1 8.3~rc1+dfsg-1 8.3+dfsg-1 8.3.pl1+dfsg-1 8.3.pl1+dfsg-2 8.3.pl2+dfsg-1 8.3.pl2+dfsg-2~bpo60+1 8.3.pl2+dfsg-2 8.3.pl3+dfsg-1~bpo60+1 8.3.pl3+dfsg-1 8.3.pl3+dfsg-2 8.3.pl4+dfsg-1 8.3.pl4+dfsg-2 8.4~beta+dfsg-1 8.4~beta+dfsg-2 8.4~beta+dfsg-3 8.4~beta+dfsg-4 8.4~gamma0+really8.4beta2+dfsg-1 8.4dfsg-1 8.4dfsg-2 8.4pl1dfsg-1 8.4pl2dfsg-1 8.4pl2dfsg-2 8.4pl2dfsg-3 8.4pl2dfsg-4 8.4pl3dfsg-1 8.4pl4dfsg-2 8.4pl4dfsg-3 8.5~beta2+dfsg-1 8.5~beta2+dfsg-2 8.5~beta3+dfsg-1 8.5~beta3+dfsg-2 8.5-1 8.5-2 8.5-2+b1 8.5-2+b2 8.6-1 8.6-2 8.6-3 8.6-4+b1 8.6-4+b2 8.6-5 8.6-5+b1 8.8.2-1 8.9.0-1+b1 8.9.0-1+b2 8.9.1-1 8.9.1-2 8.9.1-2+b1 8.9.1-2+b2 8.9.1-3 8.9.1-4 8.9.1-5 8.9.1-5+b1 8.10.2-1 8.11.0-1 8.11.1~pre1-1 8.11.0-1+b1 8.9.0-1 8.6-4 8.4pl4dfsg-1